Max - product fuzzy context - free grammars and pushdown automata 上下無關(guān)文法與下推自動機(jī)
A formal definition of proposition formulae was provided by context - free grammar , and the conversion from proposition formulae to polynomials was solved automatically 摘要該文將命題邏輯的定理證明轉(zhuǎn)換為多項(xiàng)式方程的求解問題,從而提出了一種基于非子句的代數(shù)化方法。
As a member of the team researching and developing the new generation of atc ( air traffic control ) system ( named mrd2k - jh ) for chinese air force , the author devotes his energies in the work of fdp ( flight data process ) . this thesis first introduces what is atc system and the present status of atc systems in china , then sets forth the design and structure of the new mrd2k atc system , based on the research and adjustment to the actual environment , essential technical points of fdp are presented in detail : the interface of traffic telegram and decoding algorithm : in this part , the application interface of eicon x . 25 card for mrd2k is introduced , and then the realization of a decoding algorithm based on context - free grammar is described in detail , which replaces the traditional method that decoding each telegram using a corresponding subprogram 本文基于我國新一代軍航空中交通管制( airtrafficcontrol )系統(tǒng)mrd2k - jh的研制開發(fā)過程,首先介紹了空中交通管制系統(tǒng)的概況和現(xiàn)狀,然后從建立空管自動化系統(tǒng)的角度闡述了mrd2k的詳細(xì)設(shè)計(jì)和系統(tǒng)結(jié)構(gòu),接著結(jié)合作者參與的系統(tǒng)重要部分飛行數(shù)據(jù)處理( flightdataprocess )的工作,在進(jìn)行了大量深入研究和與實(shí)際環(huán)境相切合的基礎(chǔ)上,針對其中的諸多技術(shù)細(xì)節(jié),提出了經(jīng)實(shí)際驗(yàn)證富有效用的解決方案。
First , the paper researches the format and semantic features of iso apt in detail , next , applies regular expression to describe the definition of apt ’ s tokens and uses context - free grammar to describe apt ’ s syntax rules , last , designs the intermediate code format which keeps on the source code semantic and designs a complete module to check lexical and syntax errors of nc code by using modern compiling techniques 在代碼預(yù)處理技術(shù)方面,詳細(xì)研究了標(biāo)準(zhǔn)數(shù)控代碼語言的格式和語義并采用現(xiàn)代編譯技術(shù)中的正則表達(dá)式和上下文無關(guān)文法分別描述了標(biāo)準(zhǔn)數(shù)控代碼語言的記號定義和語法結(jié)構(gòu)定義;設(shè)計(jì)了保持源代碼語義的中間標(biāo)準(zhǔn)數(shù)控代碼格式,在此基礎(chǔ)上,設(shè)計(jì)并構(gòu)建了數(shù)控代碼的詞法和語法檢查模塊。
百科解釋
In formal language theory, a context-free grammar (CFG)